package Store;

import DataView.EnumerationInfo;

public class Enumeration extends CDElement 
{
	private EnumerationInfo info;
	private boolean invalid= false;
	
	public void mkElement(EnumerationInfo myInfo) 
	{
		super.mkElement(myInfo);
		info=myInfo;
	}
	
	public EnumerationInfo getInfo()
	{
		return info;
	}
	
	public Enumeration clone()
	{
		Enumeration clone = new Enumeration();
		clone.mkElement(info.clone());
		return clone;
	}
}